#ifndef __SEUOS_H__
#define __SEUOS_H__

#include "seu_kernel.h"
#include "seu_external.h"

void os_main(void);

#endif